Component Composition Preserving Behavioural Contracts
نویسنده
چکیده
This paper investigates the compositional properties of reusable software components defined with explicit dependencies and behavioural contracts expressing rely-guarantee specifications in the form of communication traces. In this setting, connection of components through their matching ports is indeed compositional and yields a new component or composite that respects its constituents’ contracts. Thus the behaviour of the composite is computed from the behaviours of its constituents and is known to conform to the contracts without any new proof.
منابع مشابه
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous address or name based communica...
متن کاملSemi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The manual writing of this specification by a designer is a difficult and errorprone task, especially when services are reused taking their behavioural descriptions into account. In this paper, we present a semi-automatic app...
متن کاملBehavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets
This paper deals with the compositionality of liveness when synchronizing two coloured FIFO nets. The composition operator allows to merge transitions as well as some adjacent places or queues. A behavioural suucient condition for liveness compositionality relies on a mutual non constraining relation between component nets. A structural suucient condition for synchronization preserving liveness...
متن کاملContract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services th...
متن کاملUnifying Theories of Reactive Design Contracts
Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions and guarantees of each component. In this paper, we describe a unifying theory for reactive design contracts that provides the basis for modelling and verification of reactive systems. We provide a language for express...
متن کامل